Lekcja: "Logika, algebra Boole`a, arytmetyka cyfrowa - część II"
Bramka NOT (negacja)
p
p
0
1
1
0
Tablica prawdy
Symbol negacji jako bramki logicznej
Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że x, gdzie x jest zdaniem. W rachunku zdań negacja zapisywana jest jako: p (lub ~p).
Negację można zdefiniować ściślej jako jednoargumentowe działanie określone w zbiorze zdań, które każdemu zdaniu x przyporządkowuje zdanie nieprawda, że x. Negację zdania x uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe.
Ptak na godle Polski nie jest orłem – powszechnie przyjęło się, że jest to ptak bielik. A tak naprawdę bielik nie jest orłem. Należy on do rodziny ptaków jastrzębiowatych, jednak do podrodziny orłanów, a nie orłów.